1. Process algebra and probabilistic methods
پدیدآورنده: / Holger Hermanns, Roberto Segala, eds
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Machine theory--Congresses,Parallel processing (Electronic computers)--Congresses
رده :
QA
,
267
,.
P362
,
2002
2. Process algebra and probabilistic methods : performance modeling and verification : second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 : proceedings
پدیدآورنده: Holger Hermanns, Roberto Segala, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Machine theory,Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
2399
